$X$ $\ast$ $Y$($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($X$($s$)) $\ast$ ($Y$($s$))